Fuzzifying Modal Algebra
نویسندگان
چکیده
Fuzzy relations are mappings from pairs of elements into the interval [0, 1]. As a replacement for the complement operation one can use the mapping that sends x to 1 − x. Together with the concepts of t-norm and t-conorm a weak form of Boolean algebra can be defined. However, to our knowledge so far no notion of domain or codomain has been investigated for fuzzy relations. These might, however, be useful, since fuzzy relations can, e.g., be used to model flow problems and many other things. We give a new axiomatisation of two variants of domain and codomain in the more general setting of idempotent left semirings that avoids complementation and hence is applicable to fuzzy relations. Some applications are sketched as well.
منابع مشابه
L−ordered Fuzzifying Convergence Spaces
Based on a complete Heyting algebra, we modify the definition of lattice-valued fuzzifying convergence space using fuzzy inclusion order and construct in this way a Cartesian-closed category, called the category of L−ordered fuzzifying convergence spaces, in which the category of L−fuzzifying topological spaces can be embedded. In addition, two new categories are introduced, which are called th...
متن کامل$L-$ordered Fuzzifying Convergence Spaces
Based on a complete Heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a Cartesian-closed category, calledthe category of $L-$ordered fuzzifying convergence spaces, in whichthe category of $L-$fuzzifying topological spaces can be embedded.In addition, two new categories are introduced, which are called the...
متن کاملCompletely regular fuzzifying topological spaces
The concept of a fuzzifying topology was given in [1] under the name L-fuzzy topology. Ying studied in [9, 10, 11] the fuzzifying topologies in the case of L = [0,1]. A classical topology is a special case of a fuzzifying topology. In a fuzzifying topology τ on a set X , every subset A of X has a degree τ(A) of belonging to τ, 0 ≤ τ(A) ≤ 1. In [4], we defined the degrees of compactness, of loca...
متن کاملM-fuzzifying Derived Operators and Difference Derived Operators
This paper presents characterizations of M -fuzzifying matroids by means of two kinds of fuzzy operators, called M -fuzzifying derived operators and M -fuzzifying difference derived operators.
متن کاملL-fuzzifying topological vector spaces
The main purpose of this paper is to introduce a concept of L-fuzzifying topological vector spaces (here L is a completely distributive lattice) and study some of their basic properties. Also, a characterization of such spaces in terms of the corresponding L-fuzzifying neighborhood structure of the zero element is given. Finally, the conclusion that the category of L-fuzzifying topological vect...
متن کامل